Boolean algebra

Results: 1241



#Item
311Propositional calculus / Baby talk / Infancy / Language acquisition / Negation / Language / Linguistics / Psycholinguistics / Boolean algebra

J. Child Lang), 251–282. f 2007 Cambridge University Press doi:S0305000906007884 Printed in the United Kingdom What part of no do children not understand ? A usage-based account of multiword negation*

Add to Reading List

Source URL: www.eva.mpg.de

Language: English - Date: 2015-03-17 09:04:37
312Complexity classes / Circuit complexity / Boolean algebra / NP-complete problems / Time complexity / ACC0 / Cook–Levin theorem / P / NC / Theoretical computer science / Computational complexity theory / Applied mathematics

Local reductions Hamid Jahanjou∗ Eric Miles∗ Emanuele Viola∗

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2014-04-01 09:13:02
313Computational complexity theory / Conjunctive normal form / Proof complexity / PP / IP / Polynomial / Boolean algebra / Frege system / MAX-3SAT / Theoretical computer science / Applied mathematics / Logic in computer science

Towards an Understanding of Polynomial Calculus: New Separations and Lower Bounds∗ Yuval Filmus University of Toronto Massimo Lauria

Add to Reading List

Source URL: www.cs.toronto.edu

Language: English - Date: 2013-05-06 19:14:13
314Markup languages / Technical communication / Boolean algebra / Boolean data type / XPath / Apache Ant / Computing / Software / XML

Configuration by Ovidiu Predescu, Jeff Turner NOTICE: Copyright © Ovidiu Predescu and Jeff Turner. All rights reserved. The Anteater manual may be reproduced and distributed in whole or in part, in any medium

Add to Reading List

Source URL: aft.sourceforge.net

Language: English - Date: 2003-04-12 08:48:46
315Computer programming / Functional languages / Propositional calculus / Procedural programming languages / FO / Finite model theory / Negation / B-tree / ML / Computing / Boolean algebra / Software engineering

UNIVERSITY OF EDINBURGH COLLEGE OF SCIENCE AND ENGINEERING SCHOOL OF INFORMATICS FUNCTIONAL PROGRAMMING AND SPECIFICATION (LEVEL 9)

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2010-05-13 07:45:52
316NP-complete problems / Logic in computer science / Electronic design automation / Formal methods / Boolean algebra / Boolean satisfiability problem / Algorithm / Computational complexity theory / Solver / Theoretical computer science / Applied mathematics / Mathematics

Journal of Artificial Intelligence Research606 Submitted 11/07; publishedSATzilla: Portfolio-based Algorithm Selection for SAT Lin Xu

Add to Reading List

Source URL: www.jair.org

Language: English - Date: 2008-07-01 13:34:37
317Initialisms / XYZ / Elementary algebra / Triangle geometry / Boolean algebra / Associative property / Mathematics / Algebra / Geometry

American Computer Science LeagueIntermediate Division

Add to Reading List

Source URL: www.acsl.org

Language: English - Date: 2011-07-30 11:53:35
318Associative property / Boolean algebra / Initialisms / XYZ / Elementary algebra

American Computer Science League Classroom Division Contest #3

Add to Reading List

Source URL: www.acsl.org

Language: English - Date: 2011-07-30 11:53:33
319Information retrieval / Software engineering / Boolean expression / Boolean data type / C / Google Search / Web search engine / Logical connective / Search engine / Information science / Boolean algebra / Computing

Conducting A Boolean Search A Boolean expression is a complex query that uses Boolean operators to combine keywords typically in Google or other search engine. The Boolean operators set the conditions for a search. The

Add to Reading List

Source URL: stg.mpcug.net.au

Language: English - Date: 2015-04-04 01:56:26
320Algebraic structures / Boolean algebra / E-function / Number theory / Algebraic normal form / Degree of a continuous mapping / Field / Abstract algebra / Mathematics / Algebra

On the Boolean functions With Maximum Possible Algebraic Immunity : Construction and A Lower Bound of the Count Abstract. This paper gives a construction method which can get a large class of Boolean functions with maxim

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2006-04-07 22:30:07
UPDATE